Skip to content

Test authorization properties with CrossHair - #1936

Closed
adamtheturtle wants to merge 1 commit into
mainfrom
codex/crosshair-hypothesis
Closed

adamtheturtle wants to merge 1 commit into
mainfrom
codex/crosshair-hypothesis

Conversation

@adamtheturtle

Copy link
Copy Markdown
Member

Summary

  • add an isolated dependency group for the CrossHair Hypothesis backend
  • let the existing authorization properties select their backend through HYPOTHESIS_BACKEND
  • run the focused property suite with CrossHair in a required Ubuntu CI job

Validation

  • CrossHair-backed authorization suite: 12 passed on Python 3.14
  • changed-file prek hooks

The full project environment is additionally covered by the existing Linux and Windows PR jobs.

@adamtheturtle

Copy link
Copy Markdown
Member Author

Closing after the broader native-contract audit: this only changed Hypothesis\x27s backend, and I did not find a sufficiently strong native PEP 316 contract here to justify the added dependency and CI job.

This branch was successfully deployed

1 active deployment
development — dc221546 Deployed Sep 21, 2026 by adamtheturtle via pages #872
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant